1. ......................
پدیدآورنده : ISILC Proof Theory Symposium, University of Kiel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
no
.
500
2. Beweistheorie
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
S377
3. ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Bibliography ، Schutte, K.)Kurt(,Congresses ، Proof theory
رده :
QA
3
.
L28
no
.
500
4. ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by J. Diller and G. H. Muller
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Proof theory,، Schutte, Kurt - Bibliography
رده :
QA
1
.
L4
v
.
500
5. ISILC Proof Theory Symposion : dedicated to Kurt Schیtte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
پدیدآورنده : edited by J. Diller and G. H. Mیller
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, K. )Kurt(
رده :
QA
9
.
54
.
I8
1974
6. ISILC Proof Theory Symposium : dealicated to Kurt Schutte on the Occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
پدیدآورنده : edited by J. Diller and G. H. Muller
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Proof theory,Bibliography ، Schutte, Kurt
رده :
QA
3
.
L28
Vol
.
500
7. Proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
8. Proof theory
پدیدآورنده : Schutte, Kurt
موضوع : ، Proof theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Proof theory,Beweistheorie.English
پدیدآورنده : Schutte, K.)Kurt(,Kurt Schutte ; translation from the German by J. N. Crossley
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813
10. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
11. Vollstandige Systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
12. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
13. Vollstandige systeme modaler und intuitionistischer Logik
پدیدآورنده : Schutte, Kurt
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
14. proof theory
پدیدآورنده : Schutte, Kurt
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
S3813